digraph "Dominator tree for 'dp_malloc' function" {
	label="Dominator tree for 'dp_malloc' function";

	Node0xd69590 [shape=record,label="{%1}"];
	Node0xd69590 -> Node0xd695d0;
	Node0xd69590 -> Node0xd69610;
	Node0xd695d0 [shape=record,label="{%5}"];
	Node0xd69610 [shape=record,label="{%7}"];
}
